typescript union discriminator